Expression d'origine minière; ainsi, la salle des pompes est utilisée dans les mines pour relever l'eau infiltrée dans le sous-sol et permettre l'exploitation du gisement. Jusqu'à la moitié du 19ème siècle pompes étaient siècle activées par des chevaux (pompes à manège). Vers 1880, elles seront remplacées par des pompes à a...